Deductive Fault Simulation Algorithm Based on Many_way Merging Technique 基于多路归并的演绎故障模拟方法
A Deductive Reasoning Algorithm for Learning from Positive Examples PEL1:一个示例式演绎学习算法
During deductive reasoning prove, the checkpointing algorithm is simple and effective. ( 3) Through studying the checkpoint algorithm performance bottleneck, we found that the checkpoint interval settings and select the check-point for the performance of the algorithm, which had a significant impact. 通过研究检查点算法的性能瓶颈,我们发现检查点间隔的设置和选取对于检查点算法的性能同样产生着重要的影响。